Re W. I. Bishop

A Bishop surface with a vanishing Bishop invariant

We derive a complete set of invariants for a formal Bishop surface near a point of complex tangent with a vanishing Bishop invariant under the action of formal transformations. We prove that the modular space of Bishop surfaces with a vanishing Bishop invariant and with a fixed Moser invariant s < ∞ is of infinite dimension. We also prove that the equivalence class of the germ of a generic real...

The Mergelyan-Bishop Theorem

We define the differential operator ∂ ∂z on infinitely differentiable functions (also called smooth or C∞ functions) on some open set in C by ∂ ∂z = 1 2 ( ∂ ∂x + i ∂ ∂y ). A quick calculation shows that ∂ ∂z obeys the product rule. Recall that a function f is holomorphic if and only if ∂ ∂z (f) = 0. A function is biholomorphic, or an analytic isomorphism, if it is holomorphic and has holomorphi...

INTERCONNECTION EFFECTS AND W + W − DECAYS (a critical (p)(re)view) a

INTERCONNECTION EFFECTS AND W + W − DECAYS (a critical (p)(re)view) a

Suppporting Creative RE with i

Successful software must be both useful and innovative. Techniques for Requirements Engineering (RE) have mainly focused on utility, with a prominent body of work using goal modeling and analysis to ensure that systems meet user goals. However, these techniques are not designed to foster creativity, meaning that resulting systems may be functionally useful but not sufficiently innovative. Furth...